.pragma library 
//truth
var tmeple=[6411,27,
            7893,27,
            9374,27,
            10856,27,
            11597,27,
            11967,27,
            12337,27,
            12337,9,
            13819,9,
            14930,0,
            15300,0,
            16782,9,
            17893,18,
            18263,18,
            19745,9,
            21226,27,
            22708,21,
            23449,15,
            24189,18,
            27152,18,
            27708,18,
            30115,0,
            33078,0,
            33634,0,
            34560,0,
            36041,27,
            37523,30,
            38078,33,
            39004,0,
            40486,3,
            41041,6,
            41967,9,
            43449,15,
            44930,21,
            46411,30,
            46689,27,
            46967,24,
            47893,9,
            49374,12,
            49930,15,
            50856,18,
            52337,21,
            52893,24,
            53819,27,
            55300,27,
            56782,9,
            58263,6,
            58541,9,
            58819,12,
            59745,27,
            60486,27,
            61226,27,
            61597,23,
            61967,18,
            62337,13,
            62708,9,
            63449,9,
            64189,9,
            64560,5,
            64930,0,
            65300,31,
            65671,27,
            66411,27,
            67152,27,
            67523,23,
            67893,18,
            68263,13,
            68634,9,
            69374,9,
            70115,9,
            70486,5,
            70856,0,
            71226,31,
            71597,27,
            74560,3,
            77523,0,
            79004,9,
            80486,18,
            81967,27,

            83449,27,
            83449,9,
            84930,9,
            86041,0,
            86411,0,
            87893,9,
            89004,18,
            89374,18,
            90856,9,
            92337,27,
            93819,21,
            94560,15,
            95300,18,
            98263,18,
            98819,18,
            101226,0,
            104189,0,
            104745,0,
            105671,0,
            107152,27,
            108634,30,
            109189,33,
            110115,0,
            111597,3,
            112152,6,
            113078,9,
            114560,15,
            116041,21,
            117523,30,
            117800,27,
            118078,24,
            119004,9,
            120486,12,
            121041,15,
            121967,18,
            123449,21,
            124004,24,
            124930,27,
            126411,27,
            127893,9,
            129374,6,
            129652,9,
            129930,12,
            130856,27,
            131597,27,
            132337,27,
            132708,23,
            133078,18,
            133449,13,
            133819,9,
            134560,9,
            135300,9,
            135671,5,
            136041,0,
            136411,31,
            136782,27,
            137523,27,
            138263,27,
            138634,23,
            139004,18,
            139374,13,
            139745,9,
            140486,9,
            141226,9,
            141597,5,
            141967,0,
            142337,31,
            142708,27,
            145671,3,
            148634,0,
            150115,9,
            151597,18,
            153078,27,

            154560,0,
            154560,0,
            157152,9,
            157523,9,
            160115,18,
            160486,27,
            163449,18,
            164930,0,

            166411,18,
            166411,0,
            167152,0,
            167893,0,
            168449,24,
            169004,12,
            169374,0,
            170115,0,
            170856,0,
            171411,12,
            171967,24,
            172337,18,
            173078,18,
            173819,18,
            174374,30,
            174930,6,
            175300,18,
            176041,18,
            176782,18,
            177337,6,
            177893,30,

            178263,0,
            179004,0,
            179745,0,
            180300,24,
            180856,12,
            181226,0,
            181967,0,
            182708,0,
            183263,12,
            183819,24,
            184189,18,
            184930,18,
            185671,18,
            186226,30,
            186782,6,
            187152,18,
            187893,18,
            188634,18,
            188911,6,
            189189,30,
            189467,0,
            189745,12,
            189930,24,
            190115,27,
            190115,9,]
